KOMPILE_FLAGS=-w2e -w all --allow-anywhere-haskell --syntax-module TEST
KOMPILE_BACKEND=haskell

include ../../../../include/kframework/ktest-fail.mak
